大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ^2004 的图书(共1437本)

Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers

0
索取号：
作者：Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Agents and Peer-to-Peer Computing [electronic resource] : Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers

0
索取号：
作者：Moro、 Gianluca.、Bergamaschi、 Sonia.、Aberer、 Karl.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Growing Black Holes: Accretion in a Cosmological Context [electronic resource] : Proceedings of the MPA/ESO/MPE/USM Joint Astronomy Conference Held at Garching, Germany, 21-25 June 2004

0
索取号：
作者：Merloni、 Andrea.、Nayakshin、 Sergei.、Sunyaev、 Rashid A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

0
索取号：
作者：Higashino、 Teruo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

0
索取号：
作者：Hoos、 Holger H.、Mitchell、 David G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Power-Aware Computer Systems [electronic resource] : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

0
索取号：
作者：Falsafi、 Babak.、VijayKumar、 T. N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Ban芒tre、 Jean-Pierre.、Fradet、 Pascal.、Giavitto、 Jean-Louis.、Michel、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

0
索取号：
作者：Filli芒tre、 Jean-Christophe.、Paulin-Mohring、 Christine.、Werner、 Benjamin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

0
索取号：
作者：Hong、 Hoon.、Wang、 Dongming.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Constraint-Based Mining and Inductive Databases [electronic resource] : European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers

0
索取号：
作者：Boulicaut、 Jean-Fran莽ois.、Raedt、 Luc.、Mannila、 Heikki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Monte Carlo and Quasi-Monte Carlo Methods 2004 [electronic resource]

0
索取号：
作者：Niederreiter、 Harald.、Talay、 Denis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Intelligence, Theory and Applications [electronic resource] : International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29鈥揙ct. 01, 2004 Proceedings

0
索取号：
作者：Reusch、 Bernd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

0
索取号：
作者：Hinchey、 Michael G.、Rash、 James L.、Truszkowski、 Walter F.、Rouff、 Christopher A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Laser 2004 [electronic resource] : Proceedings of the 6th International Workshop on Application of Lasers in Atomic Nuclei Research (LASER 2004) held in Pozna艅, Poland, 24鈥ⷠMay 2004

0
索取号：
作者：B艂aszczak、 Z.、Markov、 B.、Marinova、 K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

HFI/NQI 2004 [electronic resource] : Proceedings of the 13th International Conference on Hyperfine Interactions and 17th International Symposium on Nuclear Quadrupole Interactions (HFI/NQI 2004) Bonn, Germany, 22鈥ⷠAugust 2004

0
索取号：
作者：Maier、 K.、Vianden、 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Security in Communication Networks [electronic resource] : 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers

0
索取号：
作者：Blundo、 Carlo.、Cimato、 Stelvio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.